Die 1 . Oldenburger Kul - Tour - Tage

Anforderungen mobiler Routenplaner an Datenbanksysteme

Für neue Datenbankanwendungen wie Geomarketing, Tourismus oder Verkehrstelematik besteht ein wachsender Bedarf an mobilen Tools zur Routenplanung. Bisher fehlt jedoch eine geeignete Datenbankunterstützung. Die Anforderungen von Routenplanern an Datenbanksysteme betreffen vor allem die effiziente Speicherung der Routen und ortsabhängige Datenbank-Anfragen. Ein Großteil der Anfragen ist auf vom A...

freeSP - ein XML-basiertes Framework für die Softwareentwicklung verteilter signalverarbeitender Systeme

Navigation auf XML-Dokumenten

Die weite Verbreitung von mobilen Geräten und die Entwicklung von mobilen Kommunikationstechnologien ermöglichen den Einsatz solcher Geräte für Aufgaben, die über die reine Kommunikation hinaus gehen. In dieser Arbeit wird ein XML-basiertes Gesamtmodell vorgestellt, indem durch eine einheitliche Schnittstelle zu gemeinsamen Informationsräumen einen Zugang zu Informationen für Geräte mit untersc...

Bewertung der Befahrbarkeit von Böden mit CCMod2 - ein Service auch für die Landwirtschaft

Bei der Planung der Bewirtschaftungsmaßnahmen in den kommenden Tagen muss der Landwirt die Wettervorhersage zwingend berücksichtigen. Die daraus abzuleitende Bewertung der Befahrbarkeit ist in vielen Fällen schwierig. Ein Internet-Service könnte es dem Landwirt ermöglichen, für die Befahrbarkeit seiner Schläge Go/NoGo-Karten für die kommenden Tage zu erstellen. Ein Modell zur Befahrbarkeitsbewe...

Java - formal fundiert

Zusammenfassung Dieser Artikel gibt eine Ubersicht uber das Projekt Bali zur formalen Behandlung m oglichst vieler Aspekte von Java Die Arbeiten umfassen bisher eine formale Semantik gro er Teile der Java Quellsprache und des Bytecodes jeweils zusammen mit einem Beweis der Typsicherheit Als Spezi kations und Veri kationswerkzeug dient Isabelle HOL Wir beschreiben die Ziele dieses Projekts und d...